Statecharts For Requirements Specification – As Simple As Possible , As Rich As Needed
نویسنده
چکیده
Statecharts have evolved into a widely used instrument for specifying system behavior and interaction. Several variants of statecharts have been developed, for example, Harel's original statecharts, UML state machines or derived concepts such as the state machines in RSML. In this paper I investigate how a statechart variant for requirements models should look if we want it to be as simple as possible, easy to understand and well suited for expressing requirements models.
منابع مشابه
توصیف نیازمندی های ایجاد یک مدل ترکیبی از پرونده سلامت شخصی مبتنی بر شبکه ی اجتماعی
Background and Aim: Personal Health Record (PHR) systems play a key role in employing patient-centered care. Besides, the inclination to use Internet services has increased in recent years. The goal of this study is to describe the needed requirements for developing the proposed hybrid PHR model in a social network. Materials and Methods: Using a descriptive study, a hybrid PHR model was desi...
متن کاملA model for specification, composition and verification of access control policies and its application to web services
Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...
متن کاملUsing Diagrams to Give a Formal Specification of Timing Constraints in Z
The need to represent timing requirements for computer systems in a formal way is being addressed by a growing number of specification techniques. However, a common weakness in these techniques is understandability, as a specification is often used to communicate between interested parties who may not possess the skills necessary to interpret a formal specification. Some atemporal specification...
متن کاملStatecharts: From Visual Syntax to Model-Theoretic Semantics
This paper presents a novel model–theoretic account of Harel, Pnueli and Shalev’s original step semantics of the visual specification language Statecharts. The graphical syntax of a Statechart is read, directly and structurally, as a formula in propositional logic. This proposition captures all the logical constraints imposed by the diagram on the Statechart’s semantics, i.e., the possible sets...
متن کاملFrom the Specification of Multiagent Systems by Statecharts to Their Formal Analysis by Model Checking: Towards Safety-Critical Applications
In order to design and implement multiagent systems, the specification method should be as expressive and comprehensive as possible. Statecharts, which are capable of describing dynamic systems and are widely accepted in the computer science community, are applied and investigated for this objective. In this paper, multiagent systems are studied in the domain of robotic soccer, where the behavi...
متن کامل